Search results for "cooperative communications"

showing 4 items of 4 documents

Formal verification of a Cooperative Automatic Repeat reQuest MAC protocol

2012

Author's version of an article published in the journal: Computer Standards & Interfaces. Also available from the publisher at: http://dx.doi.org/10.1016/j.csi.2011.12.001 Cooperative communications, in which a relay node helps the source node to deliver its packets to the destination node, are able to obtain significant benefits in terms of transmission reliability, coverage extension and energy efficiency. A Cooperative Automatic Repeat reQuest (C-ARQ) MAC protocol has been recently proposed to exploit cooperative diversity at the MAC layer. in this paper, we validate the integrity and the validity of the C-ARQ protocol using formal methods. The protocol logic is modeled in SDL and implem…

Internet Protocol Control Protocolcomputer.internet_protocolComputer scienceVDP::Mathematics and natural science: 400::Information and communication science: 420::Algorithms and computability theory: 422Distributed computingAutomatic repeat requestGeneral Inter-ORB ProtocolData_CODINGANDINFORMATIONTHEORYInternet protocol suitefinite model-checkingComputer Science::Networking and Internet ArchitecturePROMELAComputer Science::Information Theorybusiness.industryNode (networking)Link Control ProtocolComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKScooperative communicationsCooperative diversityprotocol verificationHardware and ArchitecturebusinessLawcomputerSoftwareReverse Address Resolution ProtocolComputer networkComputer Standards & Interfaces
researchProduct

Spectrum and energy efficient solutions for OFDMA collaborative wireless networks

2013

energiatehokkuusradio resource allocationcollaborative mobile cloudspektritehokkuuscooperative communicationsrelaytoistimetspectrum efficiencyOFDMAlangaton tiedonsiirtopilvipalvelutmobiililaitteetenergy efficiencylangattomat verkot
researchProduct

Modeling and Mitigating Errors in Belief Propagation for Distributed Detection

2021

We study the behavior of the belief-propagation (BP) algorithm affected by erroneous data exchange in a wireless sensor network (WSN). The WSN conducts a distributed multidimensional hypothesis test over binary random variables. The joint statistical behavior of the sensor observations is modeled by a Markov random field whose parameters are used to build the BP messages exchanged between the sensing nodes. Through linearization of the BP message-update rule, we analyze the behavior of the resulting erroneous decision variables and derive closed-form relationships that describe the impact of stochastic errors on the performance of the BP algorithm. We then develop a decentralized distribute…

hajautetut järjestelmätFOS: Computer and information sciencesfactor graphsComputer scienceComputer Science - Information TheoryBinary number02 engineering and technologycommunication errorsBelief propagationcomputation errorslangaton tiedonsiirtooptimointiLinearizationalgoritmit0202 electrical engineering electronic engineering information engineeringlikelihood-ratio testmessage-passing algorithmsElectrical and Electronic EngineeringStatistical hypothesis testingdistributed systemsMarkov random fieldsignaalinkäsittelyInformation Theory (cs.IT)linear data-fusionsensoriverkot020206 networking & telecommunicationscooperative communicationsData exchange020201 artificial intelligence & image processingblind signal processingRandom variableWireless sensor networkAlgorithm
researchProduct

Cooperative spectrum sensing schemes for future dynamic spectrum access infrastructures

2016

spectrum sensingtehokkuusdecision/data fusioncooperative communicationsdynamic spectrum access (DSA)matemaattinen optimointitiedonsiirtononlinear optimizationlangaton tiedonsiirtoradioverkotoptimointiefficiencycognitive radio (CR)taajuusalueetkognitiivinen radiolangattomat verkot
researchProduct